

#ifndef TFS_PORT_H__
#define TFS_PORT_H__

#include <stdint.h>

// void xflash_mutex_create(void);

// void tfs_mutex_take(void);

// void tfs_mutex_give(void); 

#if 0 // use mutex 

#define TFS_MUTEX_CREATE()      tfs_mutex_create()
#define TFS_MUTEX_TAKE()        tfs_mutex_take()
#define TFS_MUTEX_GIVE()        tfs_mutex_give()

#else  // not used mutex

#define TFS_MUTEX_CREATE()      
#define TFS_MUTEX_TAKE()        
#define TFS_MUTEX_GIVE()        
#endif


#endif

